
#ifndef TICKETCLERK_H
#define TICKETCLERK_H

#include "copyright.h"
#include "theaternames.h"

int ticketClerkInitialize();

void ticketClerk();
void finishedAgent();







#endif